Nuprl Definition : subtype
11,40
postcript
pdf
subtype(
S
;
T
) ==
x
:
S
.
x
T
latex
Definitions
subtype(
S
;
T
)
,
x
:
A
.
B
(
x
)
,
t
T
FDL editor aliases
subtype
origin
x:S. x 
T x:S. x T x:A. B(x) T